//#define TEST_SAL
#ifdef TEST_SAL

#include <tchar.h>
#include "sal.h"

void FillString(__out_ecount(cchBuf) TCHAR *buf, size_t cchBuf, TCHAR ch)
{
   for (size_t i=0; i < cchBuf; i++)
      buf[i] = ch;
}

void main()
{
   TCHAR buf1[] = _T("esto es un ejemplo");
   size_t sizeOfBuf = sizeof(buf1) / sizeof(TCHAR);
   FillString(buf1, sizeOfBuf, ' ');

   FillString(buf1, sizeOfBuf+100, ' ');
}

#endif


